Computer University

Results: 29298



#Item
881

Synthesising Verified Access Control Systems through Model Checking Nan Zhang, Mark Ryan∗ School of Computer Science University of Birmingham {nxz,mdr}@cs.bham.ac.uk

Add to Reading List

Source URL: www.cs.bham.ac.uk.

Language: English - Date: 2009-02-25 10:33:23
    882

    Towards a Generic Method of Evaluating Game Levels Antonios Liapis1 , Georgios N. Yannakakis1,2 , Julian Togelius1 1: Center for Computer Games Research, IT University of Copenhagen, Copenhagen, Denmark 2: Institute of D

    Add to Reading List

    Source URL: julian.togelius.com

    Language: English - Date: 2013-10-12 10:14:22
      883

      QUANTIFYING CURB APPEAL Zachary Bessinger Nathan Jacobs Department of Computer Science, University of Kentucky

      Add to Reading List

      Source URL: cs.uky.edu

      Language: English - Date: 2016-09-06 00:54:26
        884

        On Completeness and Soundness in Interactive Proof Systems Martin Furer, Computer Science Dept., Pennsylvania state Univ., University Park, PAOded Goldreich, Computer Science Dept., Technion, Haifa, Israel. Yisha

        Add to Reading List

        Source URL: www.wisdom.weizmann.ac.il

        Language: English - Date: 2014-06-22 06:26:30
          885

          Dissent: Accountable Anonymous Group Messaging Henry Corrigan-Gibbs and Bryan Ford Department of Computer Science Yale University New Haven, CT, USA

          Add to Reading List

          Source URL: dedis.cs.yale.edu

          Language: English - Date: 2010-09-29 09:32:27
            886

            Powering Spoken Language Interactions With the Crowd Walter S. Lasecki1 , Alan Ritter2 and Jeffrey P. Bigham3 ROC HCI Lab1 Computer Science Department University of Rochester

            Add to Reading List

            Source URL: web.eecs.umich.edu

            Language: English - Date: 2018-01-09 09:32:29
              887

              Perl Extension Building with SWIG David M. Beazley Dept. of Computer Science University of Chicago Chicago, IL 60637

              Add to Reading List

              Source URL: swig.org

              Language: English - Date: 2008-03-12 19:12:21
                888

                Efficient Query Processing in Dynamic Networks of Autonomous Sources Enrico Franconi† , Gabriel Kuper‡ , Andrei Lopatenko†,§ † Free University of Bozen-Bolzano, Faculty of Computer Science, Italy

                Add to Reading List

                Source URL: www.inf.unibz.it

                Language: English - Date: 2017-01-27 04:48:10
                  889

                  Byzantine Agreement with a Rational Adversary Adam Groce, Jonathan Katz? , Aishwarya Thiruvengadam, and Vassilis Zikas?? Department of Computer Science, University of Maryland {agroce,jkatz,aish,vzikas}@cs.umd.edu Abstr

                  Add to Reading List

                  Source URL: www.cs.rpi.edu

                  Language: English - Date: 2012-07-09 12:52:40
                    890

                    Crowd-Blending Privacy Johannes Gehrke? , Michael Hay?? , Edward Lui, and Rafael Pass? ? ? Department of Computer Science, Cornell University {johannes,mhay,luied,rafael}@cs.cornell.edu Abstract. We introduce a new defi

                    Add to Reading List

                    Source URL: cs.colgate.edu

                    - Date: 2012-08-08 12:59:04
                      UPDATE